From 8424523b15b89f8252b02d431a5945f2c22bf343 Mon Sep 17 00:00:00 2001 From: Ian Campbell Date: Wed, 6 Mar 2013 08:54:35 +0000 Subject: [PATCH] arm: gic: fix build on arm64 lr_mask is a uint64_t and so needs to be printed with PRIx64. Signed-off-by: Ian Campbell Acked-by: Stefano Stabellini --- xen/arch/arm/gic.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/xen/arch/arm/gic.c b/xen/arch/arm/gic.c index 4124b1d297..49f2b203e0 100644 --- a/xen/arch/arm/gic.c +++ b/xen/arch/arm/gic.c @@ -667,7 +667,7 @@ void gic_dump_info(struct vcpu *v) int i; struct pending_irq *p; - printk("GICH_LRs (vcpu %d) mask=%llx\n", v->vcpu_id, v->arch.lr_mask); + printk("GICH_LRs (vcpu %d) mask=%"PRIx64"\n", v->vcpu_id, v->arch.lr_mask); if ( v == current ) { for ( i = 0; i < nr_lrs; i++ ) -- 2.30.2